Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- UML (Computer science) --- Object-oriented methods (Computer science) --- UML (Informatique) --- Méthode orientée object (Informatique) --- Application software --- Development --- Méthode orientée object (Informatique) --- Unified Modeling Language (Computer science) --- Computer software --- Modeling languages (Computer science) --- Development of application software --- Application software - Development

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification.

Integrated circuits --- Computer algorithms --- Data structures (Computer science) --- Very large scale integration --- Computer-aided design --- Computer algorithms. --- Circuits intégrés à très grande échelle --- Algorithmes --- Structures de données (informatique) --- Computer-aided design. --- Conception assistée par ordinateur --- Computer science --- Very large scale integration of circuits --- VLSI circuits --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Algorithms --- Very large scale integration. --- Chips (Electronics) --- Circuits, Integrated --- Computer chips --- Microchips --- Electronic circuits --- Microelectronics --- Very large scale integration&delete& --- Algorithmes. --- Conception assistée par ordinateur. --- Computer programming. --- Microprocessors. --- Algorithms. --- Computer hardware. --- Programming Techniques. --- Processor Architectures. --- Algorithm Analysis and Problem Complexity. --- Computer Hardware. --- Algorism --- Algebra --- Arithmetic --- Minicomputers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Foundations --- Programming --- Computer science. --- Integrated circuits - Very large scale integration - Computer-aided design

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Java (informatica) --- object oriented --- 681.3*D3 --- 681.3*D32 --- datastructuur --- java --- Programming languages --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Data structures (Computer science) --- Java (Computer program language) --- Java (programmeertaal) --- Data structures (Computer science). --- Java (Computer program language). --- Java (programmeertaal). --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D3 Programming languages --- Object-oriented programming languages --- JavaSpaces technology --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. Robotics. Simulation. Graphics --- Object-oriented programming (Computer science) --- Computer graphics. --- Programmation orientée objet (Informatique) --- Infographie --- Computer graphics --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Digital techniques --- Programmation orientée objet (Informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book summarizes the proceedings of the invited talks presented at the International Symposium on New Trends in Optical Soliton Transmission Systems held in Kyoto during November 18 - 21, 1997. As a result of worldwide demand for ultra high bitrate transmissions and increased scientific interest from the soliton community, research on optical solitons in fibres has made remarkable progress in recent years. In view of these trends, the Research Group for Optical Soliton Communications (ROSC), chaired by Akira Hasegawa, was established in Japan in April 1995 to promote collaboration and information exchange among communication service companies, industries and academic circles in the theory and application of optical solitons. This symposium was organized as a part of the ROSC activities. As with the 1 st ROSC symposium, this symposium attracted enthusiastic response from worldwide researchers involved in the subject of soliton based communications and intensive discussions were held throughout the symposium. Particular emphases were made to dispersion managements of soliton transmission. I would like to note that in the }'t symposium the (adiabatic) dispersion managements just began to appear in reducing radiation at amplifiers and reducing collision effects in WDM system. These have become standard this time, but in addition new, non-adiabatic dispersion managements have been introduced independently by various scientists all over the world.

Optical communications --- Optical fibers --- Solitons --- Pulses, Solitary wave --- Solitary wave pulses --- Wave pulses, Solitary --- Connections (Mathematics) --- Nonlinear theories --- Wave-motion, Theory of --- Light guides (Optical fibers) --- Fiber optics --- Fibers --- Optical materials --- Optical wave guides --- Communications, Optical --- Light communications --- Photonics --- Telecommunication --- Materials science. --- Electrical engineering. --- Optics. --- Electrodynamics. --- Lasers. --- Photonics. --- Materials Science, general. --- Communications Engineering, Networks. --- Classical Electrodynamics. --- Characterization and Evaluation of Materials. --- Electrical Engineering. --- Optics, Lasers, Photonics, Optical Devices. --- New optics --- Optics --- Light amplification by stimulated emission of radiation --- Masers, Optical --- Optical masers --- Light amplifiers --- Light sources --- Optoelectronic devices --- Nonlinear optics --- Optical parametric oscillators --- Dynamics --- Physics --- Light --- Electric engineering --- Engineering --- Material science --- Physical sciences --- Optical communications. --- Solitons. --- Optical fibers.